#include <gnome.h>


void
on_new_file_activate                  (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_open_activate                      (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_save_activate                      (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_save_as_activate                   (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_exit_activate                      (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_cut_activate                       (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_copy_activate                      (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_paste_activate                     (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_clear_activate                     (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_properties_activate                (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_preferences_activate               (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_about_activate                     (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_buttonNew_clicked                   (GtkButton       *button,
                                        gpointer         user_data);

void
on_ok_buttonOpen_clicked               (GtkButton       *button,
                                        gpointer         user_data);

void
on_textSourceProgram_changed           (GtkEditable     *editable,
                                        gpointer         user_data);

void
on_ok_buttonSaveAs_clicked             (GtkButton       *button,
                                        gpointer         user_data);

void
on_clear_screen_activate              (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_assemble_activate                  (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_run_activate                       (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_step_activate                      (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_trace1_activate                     (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_font_activate                      (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
Quit                                   (GtkObject       *object,
                                        gpointer         user_data);

void
on_ok_buttonFont_clicked               (GtkButton       *button,
                                        gpointer         user_data);

void
on_continue_activate                  (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

gboolean
on_appMain_delete                      (GtkWidget       *widget,
                                        GdkEvent        *event,
                                        gpointer         user_data);


void
on_buttonOpen_clicked                  (GtkButton       *button,
                                        gpointer         user_data);

void
on_buttonSave_clicked                  (GtkButton       *button,
                                        gpointer         user_data);

void
on_buttonCut_clicked                   (GtkButton       *button,
                                        gpointer         user_data);

void
on_buttonCopy_clicked                  (GtkButton       *button,
                                        gpointer         user_data);

void
on_buttonPaste_clicked                 (GtkButton       *button,
                                        gpointer         user_data);

void
on_buttonAssemble_clicked              (GtkButton       *button,
                                        gpointer         user_data);

void
on_buttonRun_clicked                   (GtkButton       *button,
                                        gpointer         user_data);

void
on_buttonStep_clicked                  (GtkButton       *button,
                                        gpointer         user_data);

void
on_indent1_activate                    (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_casl1_activate                      (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_buttonCASL_OK_clicked               (GtkButton       *button,
                                        gpointer         user_data);

void
on_exam_library1_activate              (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_fill_answer1_activate               (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_stop1_activate                      (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_show1_activate                      (GtkMenuItem     *menuitem,
                                        gpointer         user_data);

void
on_buttonOK_clicked                    (GtkButton       *button,
                                        gpointer         user_data);

void
on_buttonCancel_clicked                (GtkButton       *button,
                                        gpointer         user_data);

void
on_listExamlib_selection_changed       (GtkList         *list,
                                        gpointer         user_data);
/*-------------------------------The End-------------------------*/
